<?php
//000000003600s:4:"1234";
?>